définition : on dit qu'un élément \(a\in E\) est simplifiable si à chaque fois qu'on a \(a*y=a*z\), on peut en déduire que \(y=z\)
